#!/bin/bash

# run this script in a git directory to get the shortened hash, eg for
# discussing current build on github

git log --pretty=format:'%h' -n 1
